historia canal de panamá